منابع مشابه
Im proving Activity in Com m unities of Practice through
Keystone players, the company that occupies the crucial hubs, need to nurture its inhabitants to keep the ecosystem active. M any modern ecosystems have communities of practice where knowledge is transferred by collaborative problem solving, sharing of ideas, software components or configurations. In recent years a widely spread medium for communities of practice is the use of online discussion...
متن کاملExplorer Policies , politics and organizational problems
Kingdon's multiple streams approach has recently been applied to study implementation across sectors or levels of government. Building on these contributions, we suggest that two streams are especially important in shaping implementation: organizational problem constructions, and political pressure from the centre. These variables produce a four-way typology of implementation modes. We test the...
متن کاملComputer Theorem Proving for Verifiable Solving of Geometric Construction Problems
Over the last sixty years, a number of methods for automated theorem proving in geometry, especially Euclidean geometry, have been developed. Almost all of them focus on universally quantified theorems. On the other hand, there are only few studies about logical approaches to geometric constructions. Consequently, automated proving of ∀∃ theorems, that correspond to geometric construction probl...
متن کاملAutomated Rebar Constructibility Problems Diagnosis: a Concept-proving Prototype
The paper describes a rebar constructibility model, which was developed in an object-oriented graphic environment. The model is intended to be used during the design phase to automatically diagnose potential rebar-related constructibility problems (the Diagnosis Module), as well as to offer solutions and implement them (the Correction Module). The Diagnosis Module was implemented first in a con...
متن کاملNew Techniques for Proving the Decidability of Equivalence Problems
We will discuss severai recentI) developed :e_h.ci;ues for prcving the decidability of the equivalence problem for devices den #III& languages and relations. Most of these techniques come from the development originat,d 1;1 the proof of the decidability of the DOL equivalence problem. Of particular importance is c.te recently shown validity of the Ehrenieucht conjecture and its effective variat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Science and Technology
سال: 2015
ISSN: 2005-4238
DOI: 10.14257/ijast.2015.81.02